Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
521	A General Weighted Grammar Library Cyril Allauzen1 , Mehryar Mohri2 , and Brian Roark3? 1 AT&T Labs – Research 180 Park Avenue, Florham Park, NJ[removed] Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:31 Models of computation Computer science Finite state transducer Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Context-free grammar Powerset construction Regular expression Automata theory Formal languages Theoretical computer science
522	Finite State Registered Automata and their uses in Natural languages Yael Cohen-Sygal Shuly Wintner Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2005-06-23 10:45:00 Theoretical computer science Combinatorics Finite state transducer Regular language Regular expression Grammatical number Summation String Formal languages Automata theory Mathematics
523	A General Weighted Grammar Library Cyril Allauzen, Mehryar Mohri, and Brian Roark AT&T Labs – Research, Shannon Laboratory 180 Park Avenue, Florham Park, NJ[removed] {allauzen, mohri, roark}@research.att.com http://w Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:30 Models of computation Computer science Software engineering Finite state transducer Finite-state machine Nondeterministic finite automaton Deterministic finite automaton Context-free grammar Powerset construction Automata theory Formal languages Theoretical computer science
524	COMP2145 –Generic Second Year Programming Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2007-11-06 12:31:10 Mathematics Models of computation Applied mathematics Combinatorics on words Context-free language Finite-state machine Regular language Formal grammar Cellular automaton Formal languages Automata theory Theoretical computer science
525	Theoretical Computer Science[removed] – 297 www.elsevier.com/locate/tcs The computational power of Benenson automata David Soloveichik∗ , Erik Winfree Department of CNS, California Institute of Technology, MC 1 Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2005-11-05 11:39:16 Computer science Applied mathematics Formal languages DNA computing Molecular biology Finite-state machine Alphabet Computability Nested word Automata theory Models of computation Theoretical computer science
526	Distribution Kernels Based on Moments of Counts [removed] Corinna Cortes Google Labs, 1440 Broadway, New York, NY 10018 Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:20:00 Models of computation Mathematics Science Natural language processing Probability theory Finite state transducer String kernel Nondeterministic finite automaton Regular language Automata theory Formal languages Statistics
527	Statistical Machine Translation with Cascaded Probabilistic Transducers Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Linguistics Science Computational linguistics Speech recognition Finite state transducer Statistical machine translation Finite-state machine Translation memory Bitext word alignment Automata theory Models of computation Machine translation
528	Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz Add to Reading List Source URL: ciws.cl Language: English - Date: 2014-05-04 09:47:46 Combinatorics on words Theoretical computer science Structure Universal algebra Model theory Regular language String Nondeterministic finite automaton Admissible rule Formal languages Mathematics Automata theory
529	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
530	Statistical Machine Translation with Cascaded Probabilistic Transducers Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Linguistics Science Computational linguistics Speech recognition Finite state transducer Statistical machine translation Finite-state machine Translation memory Bitext word alignment Automata theory Models of computation Machine translation

UPDATE